reglas de inferencia y demostracion